$\forall$${\it es}$:ES, ${\it ff}$:FIFO, ${\it f2f+}$:F2F+{-}decls. R\_dcdr $\in$ $i$:${\it ff}$.C$\rightarrow$$e$:E$\rightarrow$Dec(${\it ff}$.R($i$,$e$))